#5.    Expand: 

ln(`+`(`/`(`*`(2, `*`(exp(`+`(`*`(`^`(x, 2)), 1)), `*`(x))), `*`(`^`(`+`(`*`(`^`(x, 2)), 1), 4)))));  

ln(`+`(`/`(`*`(2, `*`(exp(`+`(`*`(`^`(x, 2)), 1)), `*`(x))), `*`(`^`(`+`(`*`(`^`(x, 2)), 1), 4))))); (2.5.1)
 

 

`+`(ln(2), ln(`/`(`*`(exp(`+`(`*`(`^`(x, 2)), 1)), `*`(x)), `*`(`^`(`+`(`*`(`^`(x, 2)), 1), 4))))); (2.5.2)
 

 

`+`(ln(2), `*`(`^`(x, 2)), 1, ln(x), `-`(`*`(4, `*`(ln(`+`(`*`(`^`(x, 2)), 1)))))); (2.5.3)
 

 

 

ln(`^`(`*`(x, `*`(y, `*`(z))), `+`(x, y, z)));  

ln(`^`(`*`(x, `*`(y, `*`(z))), `+`(x, y, z))); (2.5.4)
 

 

`*`(`+`(x, y, z), `*`(`+`(ln(x), ln(y), ln(z)))); (2.5.5)
 

 

`+`(`*`(x, `*`(ln(x))), `*`(x, `*`(ln(y))), `*`(x, `*`(ln(z))), `*`(y, `*`(ln(x))), `*`(y, `*`(ln(y))), `*`(y, `*`(ln(z))), `*`(z, `*`(ln(x))), `*`(z, `*`(ln(y))), `*`(z, `*`(ln(z)))); (2.5.6)